大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Interactive Software Engineering 的图书(共3045本)

Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

0
索取号：
作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

0
索取号：
作者：Canteaut、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Verber、 Domen.、Cipolla-Ficarra、 Miguel.、Kamm眉ller、 Florian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Morphogenetic Engineering [electronic resource] : Toward Programmable Complex Systems

0
索取号：
作者：Doursat、 Ren茅.、Sayama、 Hiroki.、Michel、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings

0
索取号：
作者：Teije、 Annette.、V枚lker、 Johanna.、Handschuh、 Siegfried.、Stuckenschmidt、 Heiner.、d鈥橝cquin、 Mathieu.、Nikolov、 Andriy.、Aussenac-Gilles、 Nathalie.、Hernandez、 Nathalie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号：
作者：Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Communicability, Computer Graphics and Innovative Design for Interactive Systems [electronic resource] : First International Symposium, CCGIDIS 2011, C贸rdoba, Spain, June 28-29, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30鈥揙ctober 5, 2012. Proceedings

0
索取号：
作者：France、 Robert B.、Kazmeier、 J眉rgen.、Breu、 Ruth.、Atkinson、 Colin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

0
索取号：
作者：Abell贸、 Alberto.、Bellatreche、 Ladjel.、Benatallah、 Boualem.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information and Software Technologies [electronic resource] : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

0
索取号：
作者：Skersys、 Tomas.、Butleris、 Rimantas.、Butkiene、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering for Resilient Systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

0
索取号：
作者：Avgeriou、 Paris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Teixeira de Souza、 Jerffeson.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Engineering Applications of Neural Networks [electronic resource] : 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. Proceedings

0
索取号：
作者：Jayne、 Chrisina.、Yue、 Shigang.、Iliadis、 Lazaros.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Sensor Systems and Software [electronic resource] : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

0
索取号：
作者：Martins、 Francisco.、Lopes、 Lu铆s.、Paulino、 Herv茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Data Engineering and Automated Learning - IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings

0
索取号：
作者：Yin、 Hujun.、Costa、 Jos茅 A. F.、Barreto、 Guilherme.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.